Set operations - PDFSEARCH.IO - Document Search Engine

Set operations
Results: 454

#	Item
81	THEOREM OF THE DAY The Robbins Problem Every Robbins algebra is a Boolean algebra. A Boolean algebra is a set containing at least two elements, 0 (zero) and 1 (one); closed under three operations, +, × and ′ (compleme Add to Reading List Source URL: www.theoremoftheday.org Language: English - Date: 2015-06-09 06:44:04
82	A Theory of Arrays with set and copy Operations∗ (Extended Abstract) Stephan Falke Carsten Sinz Add to Reading List Source URL: smt2012.loria.fr Language: English - Date: 2012-06-20 03:34:17
83	The DOE ACTS Collection The DOE Advanced CompuTational Software Collection The Department of Energy’s Advanced CompuTational Software (ACTS) Collection is a set of DOE-developed software tools that make it easier for p Add to Reading List Source URL: acts.nersc.gov Language: English - Date: 2011-09-16 12:23:28 Mathematical software Operations research Numerical software Numerical linear algebra Cross-platform software Portable Extensible Toolkit for Scientific Computation Computational science Wolfram Mathematica SageMath Mathematical optimization Linear programming Finite element method
84	Unleashing the Power of DCC SET-01/4 Operations Manual art. no Add to Reading List Source URL: www.lenzusa.com Language: English - Date: 2011-06-24 11:49:26
85	Unleashing the Power of DCC SET-02/4 Operations Manual art. no Add to Reading List Source URL: www.lenzusa.com Language: English - Date: 2011-06-24 11:49:32
86	Private and Oblivious Set and Multiset Operations∗ Marina Blanton and Everaldo Aguiar Department of Computer Science and Engineering University of Notre Dame, Notre Dame, IN, USA {mblanton,eaguiar}@nd.edu Add to Reading List Source URL: www.cse.nd.edu Language: English - Date: 2012-04-29 22:08:17
87	On Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2009-06-23 06:47:19
88	1 Potassco: The Potsdam Answer Set Solving Collection Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, and Marius Schneider Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2011-02-12 03:52:22 Logic programming NP-complete problems Operations research Constraint programming Answer set programming Logic in computer science Boolean satisfiability problem Algorithm Solver Stable model semantics AMPL Constraint satisfaction problem
89	NAIRAS OPS NAIRAS Operations Report 1 August 25, 2008 SET NAIRAS Ops Team Add to Reading List Source URL: sol.spacenvironment.net Language: English - Date: 2008-08-25 15:37:00
90	C:/Users/Oliver/Dropbox/Andrea-Bang-Oliver/split-vs-set-representation/3-sun-free-split-rootsdvi Add to Reading List Source URL: www.zaik.uni-koeln.de Language: English - Date: 2015-02-02 16:29:21 Graph operations Graph coloring Chordal graph Line graph Split graph Clique Forbidden graph characterization Neighbourhood Pathwidth Strongly chordal graph

UPDATE